Using Oz for College Timetabling
نویسندگان
چکیده
In this paper, we concentrate on a typical scheduling problem: the computation of a timetable for a German college. Like many other scheduling problems, this problem contains a variety of complex constraints and necessitates special-purpose search strategies. Techniques from Operations Research and traditional constraint logic programming are not able to express these constraints and search strategies on a suf-ciently high level of abstraction. We show that the higher-order concurrent constraint language Oz provides this high-level expressivity, and can serve as a useful programming tool for college timetabling.
منابع مشابه
Constructive Disjunction Revisited
Finite Domain Programming is a technique for solving com-binatorial problems like planning, scheduling, connguration or timetabling. Inevitably, these problems employ disjunctive constraints. A rather new approach to model those constraints is constructive disjunction, whereby common information is lifted from the alternatives, aiming for stronger pruning of the search space. We show where cons...
متن کاملUsing fuzzy c-means clustering algorithm for common lecturer timetabling among departments
University course timetabling problem is one of the hard problems and it must be done for each term frequently which is an exhausting and time consuming task. The main technique in the presented approach is focused on developing and making the process of timetabling common lecturers among different departments of a university scalable. The aim of this paper is to improve the satisfaction of com...
متن کاملGenerating Optimal Timetabling for Lecturers using Hybrid Fuzzy and Clustering Algorithms
UCTTP is a NP-hard problem, which must be performed for each semester frequently. The major technique in the presented approach would be analyzing data to resolve uncertainties of lecturers’ preferences and constraints within a department in order to obtain a ranking for each lecturer based on their requirements within a department where it is attempted to increase their satisfaction and develo...
متن کاملThe design and implementation of an interactive course-timetabling system
We describe the design and implementation of a multi-objective course-timetabling system for the Science Division at Rollins College. In the traditional vertex-coloring approach to timetabling, all conflicts are regarded as equally undesirable, but when all such conflicts are considered, including those that might involve only one or two students, a conflict-free timetable is rarely attainable....
متن کاملTransport Properties of Refrigerant Mixtures: Thermal Conductivity
In the present work, the integral equations method is used to calculate transport properties of polar fluids. For this goal, we use the Stockmayer potential and examine theoretically the thermal conductivity of several refrigerant mixtures such as R125+R134a, R125+R32, R125+R152a, R134a+R32, R152a+R32, R134a+R143a, and R125+R143a. We solve numerically the Ornstein-Zernike (OZ) equation usin...
متن کامل